-
1 functor variable
Математика: функторная переменная -
2 functor variable
-
3 functor variable
-
4 functor
-
5 variable
1) переменная (величина) || переменный2) изменчивый3) изменяемый; варьируемый4) регулируемый•variable unrestricted in sign — переменная, не ограниченная в знаке
- absolutely integrable variable - anonymous free variable - complex free variable - complex random variable - discontinuous variable - discrete random variable - discrete variable variable - discrete variable - essentially free variable - excessive random variable - exchangeable random variables - generalized random variable - geometric random variable - infinitesimal random variable - jointly normal random variables - linguistic random variable - multinomial random variable - multinormal random variable - multiplicative random variable - mutually independent random variables - nonanticipative random variable - normed random variable - number variable - optimal stopping variable - orthonormal random variables - pairwise independent random variables - spatial variable - symmetrized random variable - two-state variable - two-valued variable - uniformly limited variableto separate variables — мат. разделять переменные
-
6 variable
1) переменная2) (изменяемый) параметр; (изменяемая) величина4) переменный; изменяющийся; непостоянный•- apparent variableto drop a variable — опускать переменную, не включать переменную в рассмотрение
- array variable
- artificial variable
- automatic variable
- auxiliary variable
- binary variable
- Boolean variable
- bound variable
- broadcasted variables
- categorical variable
- centered random variable
- class variable
- cointegrated variables
- compile-time variable
- complex variable
- concomitant variable
- constructed variable
- continuous variable
- control variable
- controllable variable
- controlled variable
- CRC variable
- cyclic redundancy check variable
- decision variable
- dependent variable
- deterministic variable
- dichotomic variable
- discrete variable
- discrete random variable
- dummy variable
- endogenous variable
- environment variable
- environmental variables
- excluded variable
- exogenous variable
- explained variable
- explanatory variable
- fast variable
- file variable
- free variable
- functor variable
- fuzzy variable
- generated variable
- generic variable
- generic type variable
- global variable
- grouping variable
- imaginary variable
- independent variable
- indicator variable
- input variable
- instance variables
- instant variables
- instrumental variable
- integer variable
- interval variable
- intervening variable
- key variable
- label variable
- lagged variable
- latent variable
- leading variable
- limited variable
- linguistic variable
- local variable
- logic variable
- logical variable
- loop variable
- metalinguistic variable
- metasyntactic variable
- moving-frame variable
- nominal variable
- omitted variable
- one-fluid variables
- ordinal variable
- output variable
- P-variable
- predetermined variable
- proxy variable
- qualitative variable
- random variable
- rank variable
- real variable
- redundant variable
- response variable
- rest-frame variable
- scalar variable
- schematic variable
- schematic type variable
- seasonal variable
- slow variable
- standardized variable
- state variable
- static variable
- stationary variable
- stochastic variable
- string variable
- subscripted variable
- summation variable
- system variable
- target variable
- tensor variable
- unbound variable
- uninitialized variable
- unobservable variable
- unrestricted variable
- vector variable
- vector random variable -
7 функторная переменная
Большой англо-русский и русско-английский словарь > функторная переменная
-
8 contravariant
контравариантный contravariant local system ≈ контравариантная локальная система contravariant tensor space ≈ контравариантное тензорное пространство - contravariant affinor - contravariant algebra - contravariant argument - contravariant bundle - contravariant components - contravariant coordinates - contravariant degree - contravariant derivative - contravariant differentiation - contravariant differentiator - contravariant domain - contravariant element - contravariant extension - contravariant field - contravariant functor - contravariant ideal - contravariant index - contravariant of tensor - contravariant point - contravariant stack - contravariant tensor - contravariant variable - contravariant vector - contravariant vertor (математика) контравариантныйБольшой англо-русский и русско-английский словарь > contravariant
-
9 propositional
пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое пропозициональное исчисление classical propositional logic ≈ классическая логика высказываний constructive propositional calculus ≈ конструктивное исчисление высказываний, конструктивное пропозициональное исчисление extended propositional calculus ≈ расширенное исчисление высказываний, расширенное пропозициональное исчисление intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология minimal propositional calculus ≈ минимальное исчисление высказываний, минимальное пропозициональное исчисление modal propositional calculus ≈ модальное исчисление высказываний, модальное пропозициональное исчисление multivalued propositional calculus ≈ многозначное исчисление высказываний, многозначное пропозициональное исчисление open propositional function ≈ открытая пропозициональная функция partial propositional calculus ≈ частное исчисление высказываний, частное пропозициональное исчисление positive propositional calculus ≈ позитивное исчисление высказываний, позитивное пропозициональное исчисление positive propositional tautology ≈ позитивная пропозициональная тавтология primitive propositional constant ≈ исходная пропозициональная постоянная proper propositional calculus ≈ собственное исчисление высказываний, собственное пропозициональное исчисление two-valued propositional calculus ≈ двузначное [классическое] исчисление высказываний, двузначное [классическое] пропозициональное исчисление unary propositional connective ≈ унарная пропозициональная связка - propositional algebra - propositional argument - propositional axiom - propositional calculus - propositional connective - propositional form - propositional formula - propositional function - propositional functor - propositional hierarchy - propositional implication - propositional inference - propositional interpretation - propositional letter - propositional logic - propositional operator - propositional tautology - propositional variable ПропозициональноБольшой англо-русский и русско-английский словарь > propositional
См. также в других словарях:
Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia
Representable functor — In mathematics, especially in category theory, a representable functor is a functor of a special form from an arbitrary category into the category of sets. Such functors give representations of an abstract category in terms of known structures (i … Wikipedia
Limit (category theory) — In category theory, a branch of mathematics, the abstract notion of a limit captures the essential properties of universal constructions such as products and inverse limits. The dual notion of a colimit generalizes constructions such as disjoint… … Wikipedia
Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… … Wikipedia Español
Constraint logic programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing … Wikipedia
Sheaf (mathematics) — This article is about sheaves on topological spaces. For sheaves on a site see Grothendieck topology and Topos. In mathematics, a sheaf is a tool for systematically tracking locally defined data attached to the open sets of a topological space.… … Wikipedia
Map (higher-order function) — In many programming languages, map is the name of a higher order function that applies a given function to each element of a list, returning a list of results. They are examples of both catamorphisms and anamorphisms. This is often called apply… … Wikipedia
Monad (functional programming) — In functional programming, a monad is a programming structure that represents computations. Monads are a kind of abstract data type constructor that encapsulate program logic instead of data in the domain model. A defined monad allows the… … Wikipedia
Prolog — infobox programming language paradigm = Logic programming year = 1972 designer = Alain Colmerauer implementations = BProlog, ECLiPSe, Ciao Prolog, GNU Prolog, Quintus, SICStus, Strawberry, SWI Prolog, YAP Prolog, tuProlog dialects = ISO Prolog,… … Wikipedia
Comparison of programming languages (mapping) — Programming language comparisons General comparison Basic syntax Basic instructions Arrays Associative arrays String operations … Wikipedia
Cartesian closed category — In category theory, a category is cartesian closed if, roughly speaking, any morphism defined on a product of two objects can be naturally identified with a morphism defined on one of the factors. These categories are particularly important in… … Wikipedia